$\forall$${\it es}$:ES, $P$:(E$\rightarrow\mathbb{P}$).
\\[0ex]($\forall$$e$:E. Dec($P$($e$)))
\\[0ex]$\Rightarrow$ ($\forall$$e$:E. $P$($e$) $\Rightarrow$ ($\exists$$m$:E. ($m$ c$\leq$ $e$ \& $P$($m$) \& ($\forall$${\it e'}$:E. (${\it e'}$ $<$ $m$) $\Rightarrow$ ($\neg$$P$(${\it e'}$))))))